Stochastic analysis & discrete quantum systems
نویسندگان
چکیده
منابع مشابه
Sensitivity Analysis of Discrete Stochastic Biological Systems
Sensitivity analysis quantifies the dependence of system “behavior” on the parameters that affect the process dynamics. Classical sensitivity analysis, however, does not directly apply to discrete stochastic dynamical systems, which have recently gained popularity because of its relevance to biological processes. In this work, the sensitivity analysis for discrete stochastic processes is develo...
متن کاملSensitivity analysis of discrete stochastic systems.
Sensitivity analysis quantifies the dependence of system behavior on the parameters that affect the process dynamics. Classical sensitivity analysis, however, does not directly apply to discrete stochastic dynamical systems, which have recently gained popularity because of its relevance in the simulation of biological processes. In this work, sensitivity analysis for discrete stochastic process...
متن کاملModeling Stochastic Discrete Event Systems
The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been de ned in the setting of probabilisti...
متن کاملDiscrete approximation of quantum stochastic models
We develop a general technique for proving convergence of repeated quantum interactions to the solution of a quantum stochastic differential equation. The wide applicability of the method is illustrated in a variety of examples. Our main theorem, which is based on the Trotter–Kato theorem, is not restricted to a specific noise model and does not require boundedness of the limit coefficients. © ...
متن کاملReachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
A model for discrete time stochastic hybrid systems whose evolution can be influenced by some control input is proposed in this paper. With reference to the introduced class of systems, a methodology for probabilistic reachability analysis is developed that is relevant to safety verification. This methodology is based on the interpretation of the safety verification problem as an optimal contro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Physics B
سال: 2019
ISSN: 0550-3213
DOI: 10.1016/j.nuclphysb.2019.114658